129 search results for "tag:"RE""
Showing 101 - 129
-
rpc
No documentation
A library to deal with RPCs in OCaml - meta-package9.0.0ISCUsed by 9 other packages16 Jun 2022 -
0.7.0ISCUsed by 146 other packages06 Oct 2021
-
4.1.3MITUsed by 0 other packages06 Jan 2024
-
0.9.4MITUsed by 2 other packages26 Apr 2023
-
0.9.4MITUsed by 1 other packages26 Apr 2023
-
0.1.2BSD-3-ClauseUsed by 1 other packages19 Feb 2020
-
20200521GPL-2.0-onlyUsed by 0 other packages26 May 2020
-
SQLite3 bindings for OCaml5.1.0MITUsed by 27 other packages23 Sep 2021
-
0.2.1LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages08 Jul 2018
-
0.1ISCUsed by 0 other packages01 Feb 2023
-
OCaml library to work with Software Heritage identifiers0.2ISCUsed by 0 other packages21 Jun 2022
-
OCaml library to work with Software Heritage identifiers, compute library used in swhid0.1ISCUsed by 0 other packages05 Apr 2022
-
OCaml library to work with Software Heritage identifiers, types library used in swhid0.1ISCUsed by 1 other packages03 Apr 2022
-
0.1MITUsed by 3 other packages27 Oct 2023
-
0.16MITUsed by 5 other packages24 Jan 2024
-
A minimalistic, composable web framework for building HTTP/WebSocket servers0.0.1MITUsed by 1 other packages24 Apr 2024
-
0.2ISCUsed by 0 other packages15 Apr 2019
-
0.5ISCUsed by 2 other packages27 Jan 2020
-
OCaml bindings for userspace eBPF VM0.2LGPL-3.0-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages18 Feb 2022
-
ocaml-unix-dirent provides access to the features exposed in dirent.h0.3.5ISCUsed by 0 other packages22 Jan 2017
-
Unix sys/resource.h types and bindings (getrlimit, setrlimit, and friends)0.1.2ISCUsed by 0 other packages04 Jun 2016
-
why
No documentation
Why is a software verification platform.2.41LGPL-2.1-onlyUsed by 0 other packages03 Jul 2018 -
Why3 environment for deductive program verification1.7.2LGPL-2.1-onlyUsed by 8 other packages22 Apr 2024
-
why3-base
No documentation
Why3 environment for deductive program verification (base)0.88.3LGPL-2.1-onlyUsed by 1 other packages12 Jan 2018 -
Why3 environment for deductive program verification1.7.2LGPL-2.1-onlyUsed by 0 other packages22 Apr 2024
-
Why3 environment for deductive program verification1.7.2LGPL-2.1-onlyUsed by 0 other packages22 Apr 2024
-
Formally verified sampling from discrete probability distributions0.9.3MITUsed by 0 other packages17 Feb 2024
-
0.5.0BSD-3-ClauseUsed by 0 other packages26 Jan 2024
-
0.4BSD-3-ClauseUsed by 0 other packages08 Apr 2024